Intuitionistic logic - PDFSEARCH.IO - Document Search Engine

Intuitionistic logic
Results: 208

#	Item
71	Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic Jens Otten Institut f¨ ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2008-03-22 23:21:32
72	The ILTP Problem Library for Intuitionistic Logic Release v1.1 Thomas Raths∗ , Jens Otten and Christoph Kreitz Institut f¨ ur Informatik, University of Potsdam, Germany. e-mail: {traths,jeotten,kreitz}@cs.uni-potsdam. Add to Reading List Source URL: www.jens-otten.de Language: English - Date: 2012-03-30 11:05:43
73	Intuitionistic Mathematics and Realizability in the Physical World Andrej Bauer University of Ljubljana January 18, 2012 Abstract Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-03-04 10:52:34 Constructivism Logic Mathematics Abstraction Realizability Intuitionistic logic Infinitesimal Interpretation BrouwerHeytingKolmogorov interpretation Intuitionism Calculus Negation
74	AN INTUITIONISTIC EPISTEMIC LOGIC FOR ASYNCHRONOUS COMMUNICATION 非同期通信のための直観主義知識論理 by Yoichi Hirai Add to Reading List Source URL: yoichihirai.com Language: English - Date: 2013-03-27 09:07:23 Manga Anime Shjo manga Japanese literature Crest of the Royal Family Egyptian mythology in popular culture Shnen manga Onyanko Club Mitsuru Adachi Hideo Azuma
75	Focusing and Polarization in Intuitionistic Logic Chuck Liang1 and Dale Miller2 1 Department of Computer Science, Hofstra University, Hempstead, NYchuck.liang at hofstra.edu Add to Reading List Source URL: www.cs.hofstra.edu Language: English - Date: 2007-04-10 14:55:31
76	ICL: Intuitionistic Control Logic > ⊥ • Add to Reading List Source URL: www.cs.hofstra.edu Language: English - Date: 2012-05-10 11:57:08
77	Functional Interpretations of Intuitionistic Linear Logic Add to Reading List Source URL: theoinf.math.uni-siegen.de Language: English
78	An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory Yoichi Hirai, Dakar Add to Reading List Source URL: yoichihirai.com Language: English - Date: 2013-03-27 09:07:24 Logic Artificial intelligence Epistemic modal logic Formal epistemology Modal logic Philosophy Interpretation Cognitive science
79	Intuitionistic Control Logic Chuck Liang Hofstra University Hempstead, NY Dale Miller Add to Reading List Source URL: www.cs.hofstra.edu Language: English - Date: 2012-03-02 00:43:39
80	Disjunction Property and Finite Model Property for An Intuitionistic Epistemic Logic Yoichi Hirai ∗ Add to Reading List Source URL: yoichihirai.com Language: English - Date: 2013-03-27 09:07:24 Proof theory Symbol Natural deduction Constructible universe Riemann surfaces

UPDATE